\{$x$ $\mid$ $y$:$A$ $\rightarrow$ $B$($x$;$y$)\} \textbf{is Primitive}